Specifying Languages Using Aspect-oriented Approach: AspectLISA
نویسندگان
چکیده
منابع مشابه
Aspect-Oriented Workflow Languages
Most available aspect-oriented languages today are extensions to programming languages. However, aspect-orientation, which is a paradigm for decomposition and modularization, is not only applicable in that context. In this paper, we introduce aspect-oriented software development concepts to workflow languages in order to improve the modularity of workflow process specifications with respect to ...
متن کاملTowards Type Safety of Aspect-Oriented Languages
In this paper we describe our vision of supporting aspectoriented programming with interactive theorem proving in Coq. The goal is to construct a mechanized semantical basis that enables the analysis of type safety and other security properties. This basis consists of a featherweight aspectoriented language and a supporting framework for analysis. We identify features of aspect-oriented program...
متن کاملAspect-oriented workflow languages: AO4BPEL and applications
This thesis focuses on the modularity of workflow process specifications. In particular, it studies the expression support for crosscutting concerns and workflow changes in current workflow languages and workflow management systems. To illustrate the issues, two workflow languages are considered: a visual graphbased language and the Web Service composition language BPEL. This thesis starts by d...
متن کاملA Survey of Aspect-Oriented Programming Languages
Aspect-Oriented Software Development (AOSD) is one of the newest approaches for managing complexity by further modularizing code for large software systems. Software code continues to grow in size as well as complexity [1]. Aspect-Oriented Programming (AOP) is meant to improve modularity, and reduce complexity by separation of concerns in code. AOP is designed to work with programming languages...
متن کاملAn Aspect - Oriented Approach
MODEL CONCRETE MODEL UID with integration points + SIG template for Accessibility 1
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computing and Information Technology
سال: 2006
ISSN: 1330-1136,1846-3908
DOI: 10.2498/cit.2006.04.11